Second-order logic extends first-order logic by adding the latter type of quantification. يعتبر بمنطق الرتبة الثانية تمديد لمنطق الرتبة الأولى وذلك بإضافة القياس على المجموعات.
A basic objective of the first normal form defined by Codd in 1970 was to permit data to be queried and manipulated using a "universal data sub-language" grounded in first-order logic. يهدف نموذج التسوية الأول الذي عرَّفه كود في عام 1970 إلى الاستعلام عن البيانات والتعامل معها باستخدام "لغة فرعية عالمية للبيانات" تعتمد على منطق الرتبة الأولى.
A basic objective of the first normal form defined by Codd in 1970 was to permit data to be queried and manipulated using a "universal data sub-language" grounded in first-order logic. يهدف نموذج التسوية الأول الذي عرَّفه كود في عام 1970 إلى الاستعلام عن البيانات والتعامل معها باستخدام "لغة فرعية عالمية للبيانات" تعتمد على منطق الرتبة الأولى.
Later, he worked mainly on game semantics, and on independence-friendly logic, known for its "branching quantifiers", which he believed do better justice to our intuitions about quantifiers than does conventional first-order logic. في العقود الأخيرة ، فقد كان يعمل أساسا على دلالات لعبة ، وعلى منطق الاستقلال ودية ، والمعروف عن محددو الكمية "المتفرعة من" التي يعتقد انها تفعل أفضل العدالة لحدسنا حول محددو الكم من التقليدية لا منطق الرتبة الأولى.
Later, he worked mainly on game semantics, and on independence-friendly logic, known for its "branching quantifiers", which he believed do better justice to our intuitions about quantifiers than does conventional first-order logic. في العقود الأخيرة ، فقد كان يعمل أساسا على دلالات لعبة ، وعلى منطق الاستقلال ودية ، والمعروف عن محددو الكمية "المتفرعة من" التي يعتقد انها تفعل أفضل العدالة لحدسنا حول محددو الكم من التقليدية لا منطق الرتبة الأولى.
جوال إصدار